Category theory - PDFSEARCH.IO - Document Search Engine

Category theory
Results: 1468

#	Item
131	Partial Type Equivalences for Verified Dependent Interoperability ∗ Pierre-Evariste Dagand Nicolas Tabareau Add to Reading List Source URL: pleiad.dcc.uchile.cl Language: English - Date: 2016-05-27 18:01:04 Type theory Equivalence relation Dependent type Preorder Homotopy type theory Monad Equivalence of categories Partial equivalence relation Type system Category Binary relation Lambda calculus
132	Basic Notions Seminar November 2014 A brief course in model categories ABSTRACT. Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2014-11-09 16:34:04 Homotopy theory Model category Homotopical algebra Homotopy Higher category theory Topology Stable homotopy theory Homotopy group Homotopy type theory
133	Higher-Dimensional Categories: an illustrated guide book Eugenia Cheng and Aaron Lauda University of Cambridge Add to Reading List Source URL: cat.boffosocko.com Language: English - Date: 2015-06-01 01:42:41 Category theory Abstract algebra Algebraic topology Homotopy theory Operad theory Definition Simplicial set Nerve Category of being Equivalence of categories E-operad
134	Global homotopy theory Stefan Schwede Mathematisches Institut Universit¨ at Bonn, Germany Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2016-07-22 06:13:40 Homotopy theory Homotopy category Classifying space Spectrum Model category Cohomology Homotopy Equivariant stable homotopy theory Orthogonal group Derived category Stable homotopy theory Triangulated category
135	Concepts and Categories Concepts and Categories II Informatics 1 CG: Lecture 16 Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2016-02-23 08:51:49 Semantics Cognition Learning theory Cognitive science Prototype theory Categorization Type theory Category of being Theory Exemplar theory Concept learning
136	An introduction to equivariant homotopy theory Groups Consider compact Lie groups G and their closed subgroups H. Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2010-06-25 16:26:27 Homotopy theory Group actions Group theory Algebraic topology Cohomology Equivariant cohomology Functor Homotopy Spectrum Burnside category Generalised Whitehead product
137	143 Documenta Math. Galois coverings, Morita Equivalence and Smash Extensions of Categories over a Field1 Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2006-05-10 13:14:15 Category theory Algebraic structures Monoidal categories Representation theory Hopf algebra Morphism Algebras Category F-algebra Functor category Functor Universal property
138	41 Documenta Math. Comparison of Abelian Categories Recollements Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2004-03-18 14:08:08 Homological algebra Functors Additive categories Category theory Exact functor Derived functor Abelian category Equivalence of categories Cohomology Adjoint functors Natural transformation Triangulated category
139	41 Documenta Math. Comparison of Abelian Categories Recollements Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2004-03-18 14:08:08 Homological algebra Functors Additive categories Category theory Exact functor Derived functor Abelian category Cohomology Equivalence of categories Adjoint functors Natural transformation Triangulated category
140	ALGEBRAS AND MODULES IN MONOIDAL MODEL CATEGORIES STEFAN SCHWEDE and BROOKE E. SHIPLEY [Received 4 September 1998; revised 1 DecemberIntroduction Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2003-11-07 09:15:30 Category theory Monoidal categories Homotopy theory Algebraic topology Adjoint functors Monoid PRO Model category Highly structured ring spectrum Monad Symmetric monoidal category Functor

UPDATE